$\forall$${\it ds}$:fpf(Id; $x$.Type), ${\it da}$:fpf(Knd; $k$.Type), $k$:Knd, $l$:IdLnk. msg{-}item(${\it ds}$; ${\it da}$; $k$; $l$) $\in$ Type